Constrained synthesis from component libraries
نویسندگان
چکیده
منابع مشابه
Constrained Synthesis from Component Libraries
Synthesis from component libraries is the problem of building a network of components from a given library, such that the network realizes a given specification. This problem is undecidable in general. It becomes decidable if we impose a bound on the number of chosen components. However, the bounded problem remains computationally hard and brute-force approaches do not scale. In this paper we s...
متن کاملSynthesis from component libraries with costs
Synthesis is the automated construction of a system from its specification. In real life, hardware and software systems are rarely constructed from scratch. Rather, a system is typically constructed from a library of components. Lustig and Vardi formalized this intuition and studied LTL synthesis from component libraries. In real life, designers seek optimal systems. In this paper we add optima...
متن کاملSynthesis from Recursive-Components Libraries
Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is ”constructed from scratch” rather than composed from reusable components. This, of course, rarely happens in real life. In real life, almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Fur...
متن کاملComponent based simulation modeling from neutral component libraries
Researchers at the National Institute of Standards and Technology have proposed the development of libraries of formal, neutral models of simulation components. The availability of such libraries would simplify the generation of simulation models, enable reuse of existing models construction of complicated models from simpler ones, and speed Internet-based simulation services. The result would ...
متن کاملCharacterisation of antibody-binding RNAs selected from structurally constrained libraries.
Constrained RNA libraries of limited sequence complexity were constructed and used to select RNA molecules binding to the antigen binding site of an anti-ferritin antibody. The sequences required as primer-binding sites for the selection cycle were designed to form a predictable secondary structure, which greatly facilitated the characterisation of the secondary structures of the selected RNAs....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2019
ISSN: 0167-6423
DOI: 10.1016/j.scico.2018.10.003